1.
Computer Science Logic 16th International Workshop, Csl 2002, 11th Annual Conference of the ...
by Bradfield, J. C., European ...
ISBN: 9783540442400
List Price: $102.00
3.
Verifying Temporal Properties of Systems - J. C. Bradfield - Hardcover
by Bradfield, J. C.
ISBN: 9780817636258
List Price: $99.00